#ifndef __NIOS2_KERN_DRIVER_TIMER_H__
#define __NIOS2_KERN_DRIVER_TIMER_H__

void timer_init(void);



#endif /* !__NIOS2_KERN_DRIVER_TIMER_H__ */

